perm filename EXTFOR.MEM[257,JMC] blob sn#046825 filedate 1973-06-06 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\\M0BDR25M1BDI25M2BDJ25M3NGB25M4GRK25\F0
C00003 ENDMK
CāŠ—;
\\M0BDR25;M1BDI25;M2BDJ25;M3NGB25;M4GRK25;\F0
\CEXTENSIONAL FORMS


DEFINITIONS AND BASIC PROPERTIES

	1. If \F2e\F0 is an \F2extensional form\F0, then \F2dom e\F0
denotes the domain of \F2e\F0 and is a set.

	2. \F2vars e\F0 denotes the set of variables of \F2e\F0.
Each variable is itself an extensional form.  \F2vars e